Interface-based Design?
نویسندگان
چکیده
Surveying results from [5] and [6], we motivate and introduce the theory behind formalizing rich interfaces for software and hardware components. Rich interfaces specify the protocol aspects of component interaction. Their formalization, called interface automata, permits a compiler to check the compatibility of component interaction protocols. Interface automata support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can proceed for partial system descriptions, without knowing the interfaces of all components. Independent implementability means that compatible interfaces can be refined separately, while still maintaining compatibility.
منابع مشابه
Ultra-Fast All-Optical Symmetry 4×2 Encoder Based on Interface Effect in 2D Photonic Crystal
This paper deals with the design and simulation of all-optical 4×2 encoderusing the wave interference effect in photonic crystals. By producing 4 opticalwaveguides as input and two waveguides as output, the given structure was designed.The size of the designed structure is 133.9 μm2. The given all-optical encoder has acontrast ratio of 13.2 dB, the response time of 0.45 ...
متن کاملUser Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملImpedance bandwidth optimization of double slots circular patch antenna using genetic algorithm and the Interface Fuzzy Logic
A modified circular patch antenna design has been proposed in this paper, the bandwidth of this antenna is optimized using the genetic algorithm (GA) based on fuzzy decision-making. This design is simulated with HP HFSS Program that based on finite element method. This method is employed for analysis at the frequency band of 1.4 GHz- 2.6 GHz. It gives good impedance bandwidth of the order o...
متن کاملNumerical investigation on the pullout shear strength of soil-nail interface using finite element method
Soil nailing is a popular reinforcement method for stabilizing slopes, excavations, and retaining walls in many countries. The pullout capacity of the soil-nail interface is a critical parameter for the design and safety assessment of soil-nailed systems. In this paper, a three-dimensional (3D) finite element (FE) model is developed using the commercial program ABAQUS to simulate the pullout te...
متن کاملOPTIMAL DESIGN OF SINGLE-LAYER BARREL VAULT FRAMES USING IMPROVED MAGNETIC CHARGED SYSTEM SEARCH
The objective of this paper is to present an optimal design for single-layer barrel vault frames via improved magnetic charged system search (IMCSS) and open application programming interface (OAPI). The IMCSS algorithm is utilized as the optimization algorithm and the OAPI is used as an interface tool between analysis software and the programming language. In the proposed algorithm, magnetic c...
متن کامل